The language syntax structures are listed as follows. The complete grammar rules can be found in Section 3.2.1.3.

3.1.1.1 Global Definitions (this part is same as CSP module)

3.2.1.1 Process Definitions (this part extends CSP module with following timed syntax

• Delay
• Timeout
• Timed interrupt
• Waituntil
• Deadline
• Within
• Atomic Sequence

3.2.1.2 Assertions (this part extends CSP module)

• Timed Divergence-free 
• Linear Temporal Logic (LTL)
• Refinement/Equivalence
• Timed Refinement